#x01# is an irrational expression. By convention we want denominators to be rational.
Multiplying #x01# by #x02# leaves a denominator without radicals. But we must multiply top and bottom by the same amount ( #strn/n=1# ) so we don't change the value of the fraction.